Knihy od autora Mauricio Ayala-Rincón

Zobrazeno 1 – 2 z 2 výsledků

1. 

   Interactive Theorem Proving

   Mauricio Ayala-Rincón, César A. Mu?oz | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Applied Logic for Computer Scientists

   Mauricio Ayala-Rincón, Flávio L. C. de Moura | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1040 Kč

   Koupit

Výběr z milionů titulů vám jen tak někdo nenabídne. Zjistěte více